associated principal bundle

[数] 相伴主丛

热门查询